Nuprl Definition : event-info
0,22
postcript
pdf
event-info(
ds
;
da
) ==
k
:Knd
State(
ds
)
da
(
k
)?Top
latex
clarification:
event-info(
ds
;
da
) ==
k
:Knd
State(
ds
)
fpf-cap(
da
;KindDeq;
k
;Top)
latex
Definitions
Knd
,
State(
ds
)
,
f
(
x
)?
z
,
KindDeq
,
Top
FDL editor aliases
event-info
origin
State(ds)da(k)?Top
State(ds)fpf-cap(da;KindDeq;k;Top) State(ds)da(k)?Top
State(ds)fpf-cap(da;KindDeq;k;Top)